($\lambda$$m$,$a$,$b$,$z$. $a$ = $b$ mod $m$) $\in$ $\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow\downarrow$True$\rightarrow$Prop